From Informal Requirements to COOP : aConcurrent
نویسندگان
چکیده
Methods are needed to help using formal speciications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the speciier providing means to structure the system in terms of communicating subcomponents and to give the sequential components using a semi-automatic concurrent automata generation with associated algebraic data types. These components and the whole system may be veriied using common set of tools for transition systems or algebraic speciications. Furthermore, our method is equipped with object oriented code generation in Java, to be used for prototyping concerns. In this paper, we present our method on a small example: a transit node component in a communication network. oriented (Java) code generation.
منابع مشابه
Shared displays for promoting informal cooperation: an exploratory study
In this paper we present KOALA, a system realizing shared displays for promoting informal cooperation. We report the results from an exploratory study of real world usage of KOALA that we have conducted to understand how shared display systems are used and how their usage patterns might differ from their paperbased counterparts. This study was conducted with the aim of informing the design of a...
متن کاملبررسی بین فرهنگی ثبات و اعتبار پرسشنامه COOP در ارزیابی وضعیت بیماران مبتلا به آرتریت روماتوئید
In order to evaluate the reliability and validity of Persian version of coop-cnerttne original questionnaire was translated into Persian without modification, and it was administered to 32 patients with rheumatoid arthritis. The reproducibility and validity were studied. We observed satifactory Spearman's correlation coefficients among the instrument's score, a pain score (Visual Analogus Scale...
متن کاملCoop-RPL: A Cooperative Approach to RPL-based Routing in Smart Grid AMI Networks
The next generation of electric grid has a scalable and reliable bi-directional communication infrastructure known as Advanced Metering Infrastructure (AMI) to allow monitoring and controlling of grid resources. In this kind of communication system, comprising thousands of resource-constrained nodes such as smart meters, the routing protocol plays a critical role to guarantee reliability and lo...
متن کاملInstitutional Analysis of Corruption Configurations in South-West Asian Countries: A Fuzzy-Set Qualitative Comparative Analysis (fsQCA)
Considering corruption as one of the chronic harms of the administrative system,and the social factor affecting economic growth, the present study sought toexplain, for the first time, the differences in the perceived levels of corruptionamong 16 Southwest Asian countries, relying on the sociological “newinstitutionalism” theory in analyzing organizations, describing cau...
متن کامل